F.fmap f (N.alpha h) = N.alpha (compose f h)
